The size of Selmer groups for the congruent number problem, II

The oldest problem in the theory of elliptic curves is to determine which positive integers D can be the common difference of a three term arithmetic progres-sion of squares of rational numbers. Such integers D are known as congruent numbers. Equivalently one may ask which elliptic curve

The Cyborg Astrobiologist: Testing a Novelty-Detection Algorithm on Two Mobile Exploration Systems at Rivas Vaciamadrid in Spain and at the Mars Desert Research Station in Utah

(ABRIDGED) In previous work, two platforms have been developed for testing computer-vision algorithms for robotic planetary exploration (McGuire et al. 2004b,2005; Bartolo et al. 2007). The wearable-computer platform has been tested at geological and astrobiological field sites in Spain (Rivas Vaciamadrid and Riba de Santiuste), and the phone-camera has been tested at a geological field site in Malta. In this work, we (i) apply a Hopfield neural-network algorithm for novelty detection based upon color, (ii) integrate a field-capable digital microscope on the wearable computer platform, (iii) test this novelty detection with the digital microscope at Rivas Vaciamadrid, (iv) develop a Bluetooth communication mode for the phone-camera platform, in order to allow access to a mobile processing computer at the field sites, and (v) test the novelty detection on the Bluetooth-enabled phone-camera connected to a netbook computer at the Mars Desert Research Station in Utah. This systems engineering and field testing have together allowed us to develop a real-time computer-vision system that is capable, for example, of identifying lichens as novel within a series of images acquired in semi-arid desert environments. We acquired sequences of images of geologic outcrops in Utah and Spain consisting of various rock types and colors to test this algorithm. The algorithm robustly recognized previously-observed units by their color, while requiring only a single image or a few images to learn colors as familiar, demonstrating its fast learning capability.Comment: 28 pages, 12 figures, accepted for publication in the International Journal of Astrobiolog

Computing Linear Matrix Representations of Helton-Vinnikov Curves

Helton and Vinnikov showed that every rigidly convex curve in the real plane bounds a spectrahedron. This leads to the computational problem of explicitly producing a symmetric (positive definite) linear determinantal representation for a given curve. We study three approaches to this problem: an algebraic approach via solving polynomial equations, a geometric approach via contact curves, and an analytic approach via theta functions. These are explained, compared, and tested experimentally for low degree instances.Comment: 19 pages, 3 figures, minor revisions; Mathematical Methods in Systems, Optimization and Control, Birkhauser, Base

Shimura curve computations via K3 surfaces of Neron-Severi rank at least 19

It is known that K3 surfaces S whose Picard number rho (= rank of the Neron-Severi group of S) is at least 19 are parametrized by modular curves X, and these modular curves X include various Shimura modular curves associated with congruence subgroups of quaternion algebras over Q. In a family of such K3 surfaces, a surface has rho=20 if and only if it corresponds to a CM point on X. We use this to compute equations for Shimura curves, natural maps between them, and CM coordinates well beyond what could be done by working with the curves directly as we did in ``Shimura Curve Computations'' (1998) = Comment: 16 pages (1 figure drawn with the LaTeX picture environment); To appear in the proceedings of ANTS-VIII, Banff, May 200

Branes, Rings and Matrix Models in Minimal (Super)string Theory

We study both bosonic and supersymmetric (p,q) minimal models coupled to Liouville theory using the ground ring and the various branes of the theory. From the FZZT brane partition function, there emerges a unified, geometric description of all these theories in terms of an auxiliary Riemann surface M_{p,q} and the corresponding matrix model. In terms of this geometric description, both the FZZT and ZZ branes correspond to line integrals of a certain one-form on M_{p,q}. Moreover, we argue that there are a finite number of distinct (m,n) ZZ branes, and we show that these ZZ branes are located at the singularities of M_{p,q}. Finally, we discuss the possibility that the bosonic and supersymmetric theories with (p,q) odd and relatively prime are identical, as is suggested by the unified treatment of these models.Comment: 72 pages, 3 figures, improved treatment of FZZT and ZZ branes, minor change

BRST Analysis of Physical States for 2D (Super) Gravity Coupled to (Super) Conformal Matter

We summarize some recent results on the BRST analysis of physical states of 2D gravity coupled to c<=1 conformal matter and the supersymmetric generalization.Comment: 11 page

Topological wave functions and heat equations

It is generally known that the holomorphic anomaly equations in topological string theory reflect the quantum mechanical nature of the topological string partition function. We present two new results which make this assertion more precise: (i) we give a new, purely holomorphic version of the holomorphic anomaly equations, clarifying their relation to the heat equation satisfied by the Jacobi theta series; (ii) in cases where the moduli space is a Hermitian symmetric tube domain $G/K$, we show that the general solution of the anomaly equations is a matrix element \IP{\Psi | g | \Omega} of the Schr\"odinger-Weil representation of a Heisenberg extension of $G$, between an arbitrary state $\bra{\Psi}$ and a particular vacuum state $\ket{\Omega}$. Based on these results, we speculate on the existence of a one-parameter generalization of the usual topological amplitude, which in symmetric cases transforms in the smallest unitary representation of the duality group $G'$ in three dimensions, and on its relations to hypermultiplet couplings, nonabelian Donaldson-Thomas theory and black hole degeneracies.Comment: 50 pages; v2: small typos fixed, references added; v3: cosmetic changes, published version; v4: typos fixed, small clarification adde

Cyclotomic integers, fusion categories, and subfactors

Dimensions of objects in fusion categories are cyclotomic integers, hence number theoretic results have implications in the study of fusion categories and finite depth subfactors. We give two such applications. The first application is determining a complete list of numbers in the interval (2, 76/33) which can occur as the Frobenius-Perron dimension of an object in a fusion category. The smallest number on this list is realized in a new fusion category which is constructed in the appendix written by V. Ostrik, while the others are all realized by known examples. The second application proves that in any family of graphs obtained by adding a 2-valent tree to a fixed graph, either only finitely many graphs are principal graphs of subfactors or the family consists of the A_n or D_n Dynkin diagrams. This result is effective, and we apply it to several families arising in the classification of subfactors of index less then 5.Comment: 47 pages, with an appendix by Victor Ostri

Correspondences in Arakelov geometry and applications to the case of Hecke operators on modular curves

In the context of arithmetic surfaces, Bost defined a generalized Arithmetic Chow Group (ACG) using the Sobolev space L^2_1. We study the behavior of these groups under pull-back and push-forward and we prove a projection formula. We use these results to define an action of the Hecke operators on the ACG of modular curves and to show that they are self-adjoint with respect to the arithmetic intersection product. The decomposition of the ACG in eigencomponents which follows allows us to define new numerical invariants, which are refined versions of the self-intersection of the dualizing sheaf. Using the Gross-Zagier formula and a calculation due independently to Bost and Kuehn we compute these invariants in terms of special values of L series. On the other hand, we obtain a proof of the fact that Hecke correspondences acting on the Jacobian of the modular curves are self-adjoint with respect to the N\'eron-Tate height pairing.Comment: 38 pages. Minor correction

The classification of irreducible admissible mod p representations of a p-adic GL_n

Let F be a finite extension of Q_p. Using the mod p Satake transform, we define what it means for an irreducible admissible smooth representation of an F-split p-adic reductive group over \bar F_p to be supersingular. We then give the classification of irreducible admissible smooth GL_n(F)-representations over \bar F_p in terms of supersingular representations. As a consequence we deduce that supersingular is the same as supercuspidal. These results generalise the work of Barthel-Livne for n = 2. For general split reductive groups we obtain similar results under stronger hypotheses.Comment: 55 pages, to appear in Inventiones Mathematica